Search results
IEEE Transactions on Dependable and Secure Computing > 2010 > 7 > 4 > 381 - 395
2009 IEEE/AIAA 28th Digital Avionics Systems Conference > 7.E.2-1 - 7.E.2-8
2009 WRI World Congress on Software Engineering > 4 > 109 - 113
2009 WRI World Congress on Software Engineering > 3 > 429 - 434